Metaprogramming, Procedural Macros, Code Generation, Compile-time Computing

RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
🧠Lisp Dialects
The pirate-based logic of Rust shared references
ais523.me.uk·4d·
🦀Rust Borrowing
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·6h·
Discuss: Hacker News
🌀Brotli Internals
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
Announcing Rust 1.90.0
blog.rust-lang.org·23h·
🦀Rust Borrowing
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·8h·
Discuss: r/golang
Cache Theory
Combating headcrabs in the Source SDK codebase
gamedev.net·5h·
Discuss: Hacker News
🎮Game Decompilation
haskell/mtl
github.com·22h
🔗Functional Compilers
Cross-platform applications with Rust 1: Durable and flexible
heise.de·2d
🔩Systems Programming
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
💻Programming languages
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Choosing Rust for LLM-generated code
runmat.org·6d·
Discuss: Hacker News
🦀Rust Borrowing
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·3d·
Discuss: Hacker News
🦀Rust Verification
System Instruction Fixed Point
funcall.blogspot.com·2d·
Proof Automation
Carbon Copy No.8: Classes Part II
github.com·16h·
Discuss: Hacker News
🎯Gradual Typing